1081. What is a logical system?
Author: edited by D.M. Gabbay
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Computer science
Classification :
QA
9
.
2
.
W48
1994
1082. Why Prolog?
Author: / Gregory L. Lazarev
Library: Library of College of Science University of Tehran (Tehran)
Subject: Prolog (Computer program language),Logic programming
Classification :
QA
76
.
73
.
P76
L38
1989
1083. Wissensbasierte Systeme.
Author: Wilfried Brauer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.
1084. agent systems-Argumentation in multi
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Intelligent agents (Computer software) ; Congresses. ; Logic ; Congresses. ;
1085. agent systems-Argumentation in multi
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Intelligent agents (Computer software) ; Congresses. ; Logic ; Congresses. ;
1086. agent systems-Computational logic in multi
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1087. agent systems-Computational logic in multi
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
1088. agent systems-Computational logic in multi
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer logic ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ; Mehragentensystem. ; swd. ; Computational logic. ; swd. ;
1089. neural networks, fuzzy logic, and genetic algorithms
Author: / s. rajasekaran & g.a. vijayalakshni pai
Library: Ilam University Central Library (Ilam)
Subject: Intelligent control systems,Fuzzy logic,Neural networks (Computer science),Genetic algorithms
Classification :
TJ217
.
5
.
R2N4
2007
1090. 6800 programming for logic design
Author: Osborne, Adam.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Logic design,، MC0086 )Computer(- Programming,، Microcomputers- Programming,، Assembler language )Computer program language(
Classification :
QA
268
.
5
.
O83
1091. programs-as-Adapting proofs
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry
1092. 5th Conference on Automated Deduction Les Arcs, France, July 8-11, 1980
Author: edited by Wolfgang Bibel, Robert Kowalski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Mathematical Logic and Formal Languages
1093. λ-Calculus and Computer Science Theory :
Author: edited by C. Böhm. B�ohm, C.,
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA9
.
5
E358
1975
1094. طراحی دیجیتال
Author: / انتشارات نص
Library: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
Subject: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a09,a09,a11,a11,a13,a13,a15,a15
Classification :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴۵ ۱۳۸۸
1095. طراحی دیجیتال
Author: / انتشارات نص
Library: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
Subject: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a09,a11,a13,a15
Classification :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴۵ ۱۳۸۸
1096. طراحی دیجیتال (مدار منطقی)
Author: / انتشارات خراسان
Library: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
Subject: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a09,a09,a11,a11,a13,a13,a15,a15
Classification :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴۱ ۱۳۸۹
1097. طراحی دیجیتال (مدار منطقی)
Author: / موریس مانو,مانو
Library: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
Subject: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a06,a06,a08,a08,a11,a11
Classification :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴ ۱۳۸۱
1098. طراحی دیجیتال (مدار منطقی)
Author: / موریس مانو,مانو
Library: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
Subject: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a06,a06,a08,a08,a11,a11
Classification :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴ ۱۳۸۶
1099. طراحی دیجیتال (مدار منطقی)
Author: / انتشارات خراسان
Library: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
Subject: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a09,a11,a13,a15
Classification :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴۱ ۱۳۸۹
1100. طراحی دیجیتال مدار منطقی
Author: / موریس مانو، میشل چیلتی,مانو
Library: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
Subject: کامپیوترهای رقمی,Electonic digital computer,مدارهای منطقی,Logic circuits,طراحی منطقی,Logic design,مدارهای مجتمع رقمی,Digital integrated circuits, -- مدارها, -- Circuits,a06,a06,a08,a08,a09,a09,a12,a12
Classification :
TK
۷۸۸۸
/
۴
/
م
۲
ط
۴ ۱۳۸۷
